1. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Author: Fahiem Bacchus, Toby Walsh )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
3569
